UN PROBLEMA LÓGICO CON LA TESIS KRIPKE-PUTNAM

Desarrollo de un sistema lógico difuso para el control de la locomoción bípeda de un robot humanoide NAO

Resumen. En el siguiente trabajo se desarrolla un sistema lógico difuso para el control de la locomoción b́ıpeda de un robot humanoide NAO. Se considerando como entradas las posiciones de los ángulos de las piernas y como salida la posición cercana a cero del ángulo del torso ambas con respecto a un marco de referencia local independiente. El trabajo parte del modelo Walking Toy el cual es un si...

Representación con Restricciones de Medidas Cualitativas: Aplicación a un Problema de Scheduling

La programación lógica con restricciones está enfocada a resolver problemas por medio de cláusulas definidas. Conocida internacionalmente como Constraint Logic Programming y abreviada como CLP, la programación lógica con restricciones es un potente paradigma utilizado en aplicaciones como el diseño de hardware, inteligencia artificial, planificación, calendarización, optimización y procesamient...

Resumen de Tesis: Redes bayesianas para el ajuste de parámetros de algoritmos genéticos usados en problemas de satisfacción de restricciones geométricas

Resumen En esta Tesis se desarrolla un sistema para el ajuste de parámetros de un algoritmo que resuelve un problema, teniendo en consideración las características relevantes de cada instancia del problema a resolver. El sistema utiliza redes bayesianas como formalismo para modelar, cualitativa y cuantitativamente, las relaciones de dependencia entre los parámetros de interés y utiliza la metod...

On Logical Fiberings and Automated Deduction in Many-valued Logics Using Gröbner Bases

The concept of logical fiberings is briefly summarized. Based on experiences with concrete examples an algorithmic approach is developed which leads to a represention of a many-valued logic as a logical fibering. The Stone isomorphism for expressing classical logical operations by corresponding polynomials can be extended to m-valued logics. On the basis of this, a classical deduction problem c...

Un syndrome « Furoculose de la truite»